Search CORE

4 research outputs found

{GoJournal}: {A} Verified, Concurrent, Crash-safe Journaling System

Author: Chajed T.
Jung R.
Kaashoek M.
Tassarotti J.
Theng M.
Zeldovich N.
Publication venue
Publication date: 01/01/2021
Field of study

Certified Password Quality:A Case Study Using Coq and Linux Pluggable Authentication Modules

Author: A Chlipala
B Dutertre
H-M Sun
P Letouzey
R Canetti
RW Hamming
RW Hamming
S Kanav
S Schneider
S Thompson
SP Jones
T Chajed
Y Bertot
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2017
Field of study

Teeside University's Research Repository

Modular verification of order-preserving write-back caches

Author: G Ernst
G Ernst
G Ernst
G Ernst
G Ntzik
G Schellhorn
J He
J Woodcock
M Rosenblum
MI Lali
O Marić
T Chajed
W-P Roever de
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2017
Field of study

Automated Verification of Concurrent Search Structures

Author: Abadi M.
Abdulla P. A.
Abdulla P. A.
Abrial J.
Adve S. V.
Amit D.
Apache Software Foundation
Apache Software Foundation
Back R.
Back R.
Ball T.
Banerjee A.
Banerjee A.
Bansal K.
Bernstein P. A.
Bhargavan K.
Bizjak A.
Blanchet B.
Bornat R.
Bouajjani A.
Bouajjani A.
Bouajjani A.
Bouajjani A.
Brookes S.
Brookes S.
Brookes S. D.
Burckhardt S.
Cerný P.
Chajed T.
Chakraborty S.
Chandy K. M.
Chong N.
Clarke D. G.
Cohen E.
Cousot P.
D'Osualdo E.
da Rocha Pinto P.
da Rocha Pinto P.
Delbianco G. A.
Dijkstra E. W.
Dijkstra E. W.
Dinsdale-Young T.
Dinsdale-Young T.
Distefano D.
Dodds M.
Dodds M.
Drachsler-Cohen D.
Dragoi C.
Elmas T.
Emmi M.
European
Facebook
Feldman Y. M. Y.
Feldman Y. M. Y.
Feng X.
Filipovic I.
Floyd R. W.
Freund S. N.
Frumin D.
Fu M.
Google
Gotsman A.
Gu R.
Harris T. L.
Hawblitzel C.
Haziza F.
Held
Henzinger T. A.
Herlihy M.
Herlihy M.
Heule S.
Hoare C. A. R.
Hoare C. A. R.
Hoare C. A. R.
Hähnle R.
Iris Team
Ishtiaq S. S.
Jacobs B.
Jacobs B.
Jonathan Ellis
Jones C. B.
Jung R.
Jung R.
Jung R.
Jung R.
Kassios I. T.
Khyzha A.
Klein G.
Kragl B.
Kragl B.
Krebbers R.
Krebbers R.
Krebbers R.
Krishna S.
Krishna S.
Krishna S.
Krishna S.
Kuppe M. A.
Lahiri S. K.
Lamport L.
Lamport L.
Leino K. R. M.
Leino K. R. M.
Leino K. R. M.
Leino K. R. M.
Leino K. R. M.
Leroy X.
Levandoski J. J.
Levandoski J. J.
Liang H.
Manna Z.
Meyer R.
Meyer R.
Michael M. M.
Müller P.
Müller P.
Müller P.
Nanevski A.
O'Hearn P. W.
O'Hearn P. W.
O'Hearn P. W.
O'Hearn P. W.
O'Hearn P. W.
O'Neil P. E.
Owicki S. S.
Parkinson M. J.
Pierce B. C.
Piskac R.
Piskac R.
Pnueli A.
Proceedings
Pöttinger B.
Raad A.
Reynolds J. C.
Sergey I.
Sergey I.
Severance D. G.
Shasha D. E.
Smans J.
Svendsen K.
Svendsen K.
Turing A. M.
Turon A. J.
Vafeiadis V.
Vafeiadis V.
Winskel G.
Xiong S.
Yang X.
Zhang Z.
Zhu H.
Publication venue: 'Morgan & Claypool Publishers LLC'
Publication date
Field of study

core

core